синтаксические правила для определения изоморфизма

Makarov: syntactic rules for detection of isomorphism